1

On partial disjunction properties of theories containing Peano arithmetic

Kurahashi, Taishi
Journal:
Archive for Mathematical Logic
Year:
2018
Language:
english
File:
PDF, 689 KB
english, 2018
3

Liar-type Paradoxes and the Incompleteness Phenomena

Kikuchi, Makoto, Kurahashi, Taishi
Journal:
Journal of Philosophical Logic
Year:
2016
Language:
english
File:
PDF, 328 KB
english, 2016
5

A NOTE ON DERIVABILITY CONDITIONS

KURAHASHI, TAISHI
Journal:
Journal of Symbolic Logic
Year:
2020
File:
PDF, 412 KB
2020
6

ILLUSORY MODELS OF PEANO ARITHMETIC

KIKUCHI, MAKOTO, KURAHASHI, TAISHI
Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 314 KB
english, 2016
7

Rosser Provability and Normal Modal Logics

Kurahashi, Taishi
Journal:
Studia Logica
Year:
2019
Language:
english
File:
PDF, 394 KB
english, 2019
8

Uniform Lyndon interpolation property in propositional modal logics

Kurahashi, Taishi
Journal:
Archive for Mathematical Logic
Year:
2020
Language:
english
File:
PDF, 378 KB
english, 2020
9

Arithmetical Completeness Theorem for Modal Logic $$\mathsf{K}$$ K

Kurahashi, Taishi
Journal:
Studia Logica
Year:
2017
Language:
english
File:
PDF, 542 KB
english, 2017
10

UNIVERSAL ROSSER PREDICATES

KIKUCHI, MAKOTO, KURAHASHI, TAISHI
Journal:
Journal of Symbolic Logic
Year:
2017
Language:
english
File:
PDF, 175 KB
english, 2017
11

Rosser-Type Undecidable Sentences Based on Yablo’s Paradox

Kurahashi, Taishi
Journal:
Journal of Philosophical Logic
Year:
2014
Language:
english
File:
PDF, 322 KB
english, 2014
12

PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC

KURAHASHI, TAISHI
Journal:
Journal of Symbolic Logic
Year:
2018
Language:
english
File:
PDF, 241 KB
english, 2018
14

ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY

KURAHASHI, TAISHI
Journal:
The Review of Symbolic Logic
Year:
2013
Language:
english
File:
PDF, 163 KB
english, 2013
15

On arithmetical completeness of the logic of proofs

Iwata, Sohei, Kurahashi, Taishi
Journal:
Annals of Pure and Applied Logic
Year:
2018
Language:
english
File:
PDF, 342 KB
english, 2018
16

On predicate provability logics and binumerations of fragments of Peano arithmetic

Kurahashi, Taishi
Journal:
Archive for Mathematical Logic
Year:
2013
Language:
english
File:
PDF, 200 KB
english, 2013
17

Henkin sentences and local reflection principles for Rosser provability

Kurahashi, Taishi
Journal:
Annals of Pure and Applied Logic
Year:
2016
Language:
english
File:
PDF, 537 KB
english, 2016
18

Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$Σ2 Numerations

Kurahashi, Taishi
Journal:
Studia Logica
Year:
2018
Language:
english
File:
PDF, 517 KB
english, 2018